منابع مشابه
Translatable Finite State Time Machine
The paper describes syntax, behavior and formal semantics of a new class of timed automata, which are tailored for modeling the behavior of real-time systems. A formal method for automatic generation of programs is developed around this model. The method starts from modeling the desired behavior of the system under design by means of a UML-based state machine with the ability to measure time, a...
متن کاملInformation Hiding in Finite State Machine
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that the hidden information becomes inexpensive to retrieve, yet still hard to remove or delete. This is due to the fact that verifying certain FSM properties is easy, but changing them requires efforts equivalent to redoing...
متن کاملA Bacterial Foraging Optimized Finite Difference Time Domain Method
Bacterial foraging optimization algorithm (BFOA) has attracted a lot of attention as a high performance optimizer because of its faster convergence and global search approach. Since its inception, BFOA has been applied successfully to wide variety various applications leading to faster convergence with higher accuracy. This paper presents one such application of the algorithm i.e. optimization ...
متن کاملA Three-Dimensional Angle-Optimized Finite-Difference Time-Domain Algorithm
We present a three-dimensional finite-difference time-domain (FDTD) algorithm to minimize the numerical dispersion error at preassigned angles. Filtering schemes are used to further optimize its frequency response for broad-band simulations. A stability analysis of the resulting FDTD algorithm is also provided. Numerical results show that the dispersion error around any preassigned angle can be...
متن کاملFinite-time thermodynamics: Engine performance improved by optimized piston motion.
The methods of finite-time thermodynamics are used to find the optimal time path of an Otto cycle with friction and heat leakage. Optimality is defined by maximization of the work per cycle; the system is constrained to operate at a fixed frequency, so the maximum power is obtained. The result is an improvement of about 10% in the effectiveness (second-law efficiency) of a conventional near-sin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Statistical Mechanics: Theory and Experiment
سال: 2014
ISSN: 1742-5468
DOI: 10.1088/1742-5468/2014/09/p09010